What is Local Models Semantics ? ∗
نویسندگان
چکیده
In recent papers a new semantics, called Local Models Semantics, was presented and used to provide a foundation to reasoning with contexts. Local Models Semantics captures and makes precise the two main principles underlying contextual reasoning: the, so-called, Principle of Locality and Principle of Compatibility. In this chapter we aim at explaining the main intuitions underlying Local Models Semantics, its fundamental logical properties, and its relation with contextual reasoning. The emphasis is on motivations and intuitions, rather than on technicalities.
منابع مشابه
Local Models Semantics, or Contextual Reasoning = Locality + Compatibility
In this paper we present a new semantics, called Local Models Semantics, and use it to provide a foundation to reasoning with contexts. This semantics captures and makes precise the two main intuitions underlying contextual reasoning: (i) reasoning is mainly local and uses only part of what is potentially available (e.g., what is known, the available inference procedures), this part is what we ...
متن کاملتحقق مفهوم قرآنی «قسط» در فضای شهری
Studies of urban space is expanding but what is important is explanation of it in national and local scales, according to the context of society and culture. The main book of Islam, which is associated with Iranian's culture, is "Quran". Therefore, the use of theoretical concepts of indigenous issues on the ballot in the Quran can be helpful in urban management. One of the aspects of the soc...
متن کاملLocal Models Semantics , or
limited distribution notice This report has been submitted for publication outside of ITC and will probably be copyrighted if accepted for publication. It has been issued as a Technical Report for early dissemination of its contents. In view of thetransfer of copyright to the outside publisher, its distribution outside of ITC prior to publication should be limited to peer communications and spe...
متن کاملFunctorial semantics of topological theories
Following the categorical approach to universal algebra through algebraic theories, proposed by F.~W.~Lawvere in his PhD thesis, this paper aims at introducing a similar setting for general topology. The cornerstone of the new framework is the notion of emph{categorically-algebraic} (emph{catalg}) emph{topological theory}, whose models induce a category of topological structures. We introduce t...
متن کاملAn Analysis of the Salīm Heart Semantics: An Approach to Spiritual Health in Holly Quran
Spiritual health has great importance in human life to the extent that in recent years the World Health Organization (WHO) looked with favor on it. Holy Quran has introduced itself as a healing prescription for the human soul. Spiritual health is associated with the keyword of “Heart” in the Quran's literature, and the concepts of sick and healthy hearts have been mentioned in it. In this regar...
متن کامل